Section: Software and Platforms

Ref-image

Participants : Hend Ben Ameur, François Clément, Pierre Weis.

Ref-image is an image segmentation program using optimal control techniques. Slogan is “no gestalt inside”. Ref-image implements the refinement indicator algorithm, specialized to the case of the inversion of the identity map. It is a first step towards the implementation of a generic inversion platform using the refinement indicator algorithm.

• Version: 1.0+pl0

• Programming language: OCaml

• http://refinement.inria.fr/ref-image/